истинностная функция


истинностная функция
truth function

Русско-английский математический словарь. 2013.

Смотреть что такое "истинностная функция" в других словарях:

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ЛОГИЧЕСКИЕ СВЯЗКИ —     ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …   Философская энциклопедия

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • пропозициональная логика —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • ЗНАНИЕ — результат процесса познания, обычно выраженный в языке или в к. л. знаковой форме. Стремление понять, что такое З. и чем оно отличается от др. продуктов человеческого сознания, характерно уже для философов античности, которые поставили и пытались …   Философская энциклопедия

  • Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… …   Википедия

  • знание —         ЗНАНИЕ форма социальной и индивидуальной памяти, свернутая схема деятельности и общения, результат обозначения, структурирования и осмысления объекта в процессе познания. Дефиниция термина « 3. » является фундаментальной проблемой,… …   Энциклопедия эпистемологии и философии науки

  • интерпретация —         ИНТЕРПРЕТАЦИЯ (от лат. interpretatio посредничество) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) истолкование текстов, смыслополагающая и смыслосчитывающая… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.